Graph Creation, Visualisation and Transformation
نویسندگان
چکیده
We describe a tool to create, edit, visualise and compute with interaction nets — a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not only a formalism for the specification of graphs, but also a rewrite-based computation model. We discuss graph rewriting strategies and a language to express them in order to perform strategic interaction net rewriting.
منابع مشابه
Odruba - Ontology-driven Rule-based Visualisation
Data visualisation techniques have gained growing importance within the last years, not only for data scientists. To visualise RDF data, a transformation into graph description languages is needed. The result of this process is often not satisfactory, because most of the semantics get lost and customisation options are limited. This paper presents an ontology-driven, rule-based visualisation ap...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملENTROPY OF DYNAMICAL SYSTEMS ON WEIGHTS OF A GRAPH
Let $G$ be a finite simple graph whose vertices and edges are weighted by two functions. In this paper we shall define and calculate entropy of a dynamical system on weights of the graph $G$, by using the weights of vertices and edges of $G$. We examine the conditions under which entropy of the dynamical system is zero, possitive or $+infty$. At the end it is shown that, for $rin [0,+infty]$, t...
متن کاملNetworks of Collaborations: Hypergraph Modeling and Visualisation
The acknowledged model for networks of collaborations is the hypergraph model. Nonetheless when it comes to be visualized hypergraphs are transformed into simple graphs. Very often, the transformation is made by clique expansion of the hyperedges resulting in a loss of information for the user and in artificially more complex graphs due to the high number of edges represented. The extra-node re...
متن کاملopenDaVE - a data visualisation and transformation framework
At present each neutron scattering facility has its own set of data treatment software, normally based on a proprietary data format. The travelling scientist is either forced to continually learn new software or to write conversion routines for his own software tools. During software development most of the time is spent on routines connected with file input and output or visualisation. Our aim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009